Iterators, Recursors and Interaction Nets
نویسندگان
چکیده
We propose a method for encoding iterators (and recursion operators in general) using interaction nets (INs). There are two main applications for this: the method can be used to obtain a visual notation for functional programs; and it can be used to extend the existing translations of the λ-calculus into INs to languages with recursive types.
منابع مشابه
Encoding Iterators in Interaction Nets
We propose a method for encoding iterators (recursion operators) using interaction nets. The method can be used to obtain a visual notation for functional programs, and also to extend with recursion the many translations of the λ-calculus into interaction nets, which have been proposed as efficient implementation mechanisms. We exemplify the method with a number of list-processing examples that...
متن کاملA NOTE ON REWRITING THEORY FOR UNIQUENESS OF ITERATION Dedicated to our friend and colleague
Uniqueness for higher type term constructors in lambda calculi (e.g. surjective pairing for product types, or uniqueness of iterators on the natural numbers) is easily expressed using universally quanti ed conditional equations. We use a technique of Lambek[18] involving Mal'cev operators to equationally express uniqueness of iteration (more generally, higher-order primitive recursion) in a sim...
متن کاملA NOTE ON REWRITING THEORY FOR UNIQUENESS OFITERATIONDedicated to our friend and colleague Jim
Uniqueness for higher type term constructors in lambda calculi (e.g. surjective pairing for product types, or uniqueness of iterators on the natural numbers) is easily expressed using universally quantiied conditional equations. We use a technique of Lambekk18] involving Mal'cev operators to equationally express uniqueness of iteration (more generally, higher-order primitive recursion) in a sim...
متن کاملRole of MicroRNAs in BCG Therapy by the Induction of Neutrophil Extracellular Traps in Bladder Cancer
The treatment of bladder cancer is usually performed by Bacillus Calmette-Guerin (BCG) instillation. BCG therapy is a common therapeutic method with fewer side effects compared with chemotherapy, radiotherapy, etc. BCG can also inhibit the progression and recurrence of bladder cancer by inducing apoptosis pathways, arrest cell cycle, autophagy, and neutrophil extracellular traps (NETs) formatio...
متن کاملIterators: Taxonomy, Strength, Weakness, and Efficiency
Iteration is an operation that traverses the objects of a collection object. Iterators are operators/methods widely used for iteration on a collection of objects. However, iterators were considered to be ad hoc and to be a sign of weakness in object-oriented programming languages. There is a need to formalize iterators and to study their strength and weaknesses. In this paper we first propose a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/0910.3321 شماره
صفحات -
تاریخ انتشار 2009